2018, 渕野 昌, 『数学と集合論 ゲーデルの加速定理の視点からの考察』